Simple Modules for GRACE
نویسندگان
چکیده
The language Grace is being proposed for specifying and programming in a graph-centered environment based on graph transformation. Emphasis in the design of Grace is laid on modular structur-ing of programs. In this paper we present a simple kind of modules for the language which encapsulate rules and graph transformation units, and export some of them. The local transformation units deene compound graph transformations that call rules and other transformation units which are either deened by the surrounding module, or imported from other modules. The interleaving semantics of modules speciies a binary relation on graphs for each exported item.
منابع مشابه
Gorenstein flat and Gorenstein injective dimensions of simple modules
Let R be a right GF-closed ring with finite left and right Gorenstein global dimension. We prove that if I is an ideal of R such that R/I is a semi-simple ring, then the Gorensntein flat dimensnion of R/I as a right R-module and the Gorensntein injective dimensnnion of R/I as a left R-module are identical. In particular, we show that for a simple module S over a commutative Gorensntein ring R, ...
متن کاملMonomial Irreducible sln-Modules
In this article, we introduce monomial irreducible representations of the special linear Lie algebra $sln$. We will show that this kind of representations have bases for which the action of the Chevalley generators of the Lie algebra on the basis elements can be given by a simple formula.
متن کاملReputation Evaluation Framework Based on QoS in Grid Economy Environments
This chapter mainly introduces some recent researches of reputation evaluation methods in Grid economy. The GRACE (Grid Architecture for Computational Economy architecture) is adopted to explain some mechanisms in the Grid economy for its clearly inner modules architecture. In addition, several new developed modules based on GRACE architecture are detailed discussed and two of them are laid mor...
متن کاملApplications of epi-retractable modules
An R-module M is called epi-retractable if every submodule of MR is a homomorphic image of M. It is shown that if R is a right perfect ring, then every projective slightly compressible module MR is epi-retractable. If R is a Noetherian ring, then every epi-retractable right R-module has direct sum of uniform submodules. If endomorphism ring of a module MR is von-Neumann regular, then M is semi-...
متن کاملUniserial modules of generalized power series
Let R be a ring, M a right R-module and (S,≤) a strictly ordered monoid. In this paper we will show that if (S,≤) is a strictly ordered monoid satisfying the condition that 0 ≤ s for all s ∈ S, then the module [[MS,≤]] of generalized power series is a uniserial right [[RS,≤]] ]]-module if and only if M is a simple right R-module and S is a chain monoid.
متن کامل